一类非线性脉冲发展方程的最优反馈控制

本文考虑受控系统为Banach空间中一类G0紧半群的非线性脉冲积微分方程的最优反馈控制问题。首先证明容许控制对的存在性,进一步对Lagrange问题给出了一个新的存在性定理。     

无随机预言模型的基于模糊身份签密方案

在随机预言模型下Hash函数被视为一个完全随机的理想模型,实际应用中却无法构造.以Sahai和Waters的方案为基础,利用椭圆曲线上的双线性对性质及门限秘密共享的思想,提出了一个新的模糊身份签密方案.与最近Zhang等人提出的模糊身份签密方案相比,该方案的构造没有采用Hash函数,避免了Hash函数返回值无随机性的缺点,且系统公开参数较少,安全性可规约到计算Diffie-Hellman (CDH)和离散对数(DLP)困难假定,从而能更好地满足实际应用需求.     

矩阵变换中的一些问题

<正> 令n是自然数,命|M={A:A是复数域上的(n×n)的矩阵},|P={P:P∈M&det(P)≠0},任意地取定P_0∈|P,对于M可以定义以下4种广义的变换: 定义1 对于A∈M,令f_1(A)=P_~(-1)P~(-1)P_0AP,P∈|P,称f_1是具有参量P_0的相似变换(广义的相似变换),以A为代表的广义相似类(相似的“等价类”)(?)={P_0~(-1)P~(-1)P_0AP:P∈P}。     

带资源属性的负载均衡问题的算法设计磁

针对带有一对属性值（ai ,bi ）的n个agent分配m个资源问题,构建了该问题的博弈模型,给出了判断Nash均衡是否存在的充要条件,利用充要条件对Nash均衡的存在性进行分析和讨论,并且分析了Nash均衡与最优分配的关系。设计了求解最优分配的算法,并证明了算法是收敛的,证明过程显示该算法的收敛性与初始分配无关。     

免疫调节优化算法及其对控制系统的参数估计

借鉴免疫系统中T细胞调节的思想、抗体重复变异的亲和成熟特征、小生境共享适应度方法及相关的免疫机制,提出一种适合于函数优化的新型智能优化算法。算法设计的关键在于利用T细胞调节机制动态调节参与变异的抗体数日,以及利用抗体亲和成熟特征设计自适应突变的算子模块;突出的优点为自适应能力强、寻优速度快、多途径产生进化群体及易于与相关算法融合。事例仿真效果论证了其可行性和有效性。     

一种基于身份代理盲签名方案

基于身份的代理盲签名是一种特殊的数字签名,是现代密码学领域中一个非常重要的分支,也是信息安全方向一个重要的研究内容。本文在Cha和Cheon的签名方案和基于身份的代理盲签名方案的基础上,结合代理签名和盲签名,构造一种基于身份的代理盲签名方案,并对安全性进行分析。     

CAD图档管理软件中远程通信的设计

在TCP／IP的网络环境下，基于“网络虚拟机”模型，讨论了CAD图档管理软件远程通信的设计。在远程CAD图档管理软件中，设计和实现了客户端之间一点到多点通信、多用户远程登录和远程用户信息管理等，实际运行结果良好。     

可转换签密的几种改进方案

基于椭圆曲线密码体制建立了几个具有语义安全的可转换签密方案。这些方案都实现了当签密者抵赖其签密时,接收者可将签密转换成普通签名以向第三方证明签密者的欺骗;解决了H-C方案和W-B方案不满足语安全的弱点以及H-C方案不能抵抗已知明文攻击的缺陷;相对目前的一些方案,本文方案具有更小的通信代价和计算代价。     

智能决策支持系统总体设计初探

本文论述了决策支持系统(DSS)和专家系统(ES)的起源、区别与关系,着重介绍了智能决策支持系统(IDSS)的基本概念、基本结构与总体设计要求,对组成IDSS的各单元(子系统)的设计作了详细的讨论,并指出其发展趋势与值得研究的问题。     

集值映射不动点的连续本质连通区

本质解的方法被广泛应用于各种问题解的稳定性研究,其在研究Nash平衡、不动点的稳定性中起着重要的应用.探讨了集值映射不动点的稳定性.引入了上半连续非空紧凸值集值映射不动点集的连续本质集的概念,并证明了其存在性.即证明了每一上半连续非空紧凸值集值映射至少存在一个该映射不动点集的极小连续本质集,以及该极小连续本质集是连通的.